|
In mathematics, the category Grp has the class of all groups for objects and group homomorphisms for morphisms. As such, it is a concrete category. The study of this category is known as group theory. ==Relation to other categories== There are two forgetful functors from Grp: M:Grp → Mon U:Grp → Set Where M has two adjoints: One right; I:Mon→Grp One left; K:Mon→Grp Here I:Mon→Grp is the functor sending every monoid to the submonoid of invertible elements and K:Mon→Grp the functor sending every monoid to the Grothendieck group of that monoid. The forgetful functor U:Grp → Set has a left adjoint given by the composite KF:Set→Mon→Grp where F is the free functor. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Category of groups」の詳細全文を読む スポンサード リンク
|